60 research outputs found
Formal Verification of Full-Wave Rectifier: A Case Study
We present a case study of formal verification of full-wave rectifier for
analog and mixed signal designs. We have used the Checkmate tool from CMU [1],
which is a public domain formal verification tool for hybrid systems. Due to
the restriction imposed by Checkmate it necessitates to make the changes in the
Checkmate implementation to implement the complex and non-linear system.
Full-wave rectifier has been implemented by using the Checkmate custom blocks
and the Simulink blocks from MATLAB from Math works. After establishing the
required changes in the Checkmate implementation we are able to efficiently
verify the safety properties of the full-wave rectifier.Comment: The IEEE 8th International Conference on ASIC (IEEE ASICON 2009),
October 20-23 2009, Changsha, Chin
Extended surfaces modulate and can catalyze hydrophobic effects
Interfaces are a most common motif in complex systems. To understand how the
presence of interfaces affect hydrophobic phenomena, we use molecular
simulations and theory to study hydration of solutes at interfaces. The solutes
range in size from sub-nanometer to a few nanometers. The interfaces are
self-assembled monolayers with a range of chemistries, from hydrophilic to
hydrophobic. We show that the driving force for assembly in the vicinity of a
hydrophobic surface is weaker than that in bulk water, and decreases with
increasing temperature, in contrast to that in the bulk. We explain these
distinct features in terms of an interplay between interfacial fluctuations and
excluded volume effects---the physics encoded in Lum-Chandler-Weeks theory [J.
Phys. Chem. B 103, 4570--4577 (1999)]. Our results suggest a catalytic role for
hydrophobic interfaces in the unfolding of proteins, for example, in the
interior of chaperonins and in amyloid formation.Comment: 22 pages, 5 figure
- …